Generating event traces based on arrival curves

نویسندگان

  • Simon Künzli
  • Lothar Thiele
چکیده

System-level performance-evaluation methods for computer and communication systems can be divided into two main areas: simulation and analytic methods. Analytic methods are often fast but rather coarse, whereas simulation is time-consuming but often leads to more accurate results. Therefore, there is the need to (a) determine analytic models from simulation results, actual measurements or formal specifications and (b) to generate representative event traces from analytic models. Whereas there are many results available in case of statistical analytic models, there are no methods known for other forms of variability characterizations. The method presented in this paper is suited for arrival curves, a widely accepted tool for traffic characterization. In addition, this class of event models has been successfully used to perform a modular performance, end-to-end delay and buffer size analysis of distributed computer and communication systems. In particular, we propose a new method to generate event traces for simulation or physical measurements, starting from a formal specification of event streams in form of arrival curves. In addition, a quality indicator is defined to evaluate the generated traces. Finally, experiments are described that show the applicability of the approach.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Causality problem in real-time calculus

Real-Time Calculus (RTC) [37] is a framework to analyze heterogeneous, real-time systems that process event streams of data. The streams are characterized by pairs of curves, called arrival curves, that express upper and lower bounds on the number of events that may arrive over any specified time interval. A well-known limitation of RTC is that it cannot model systems with states and several wo...

متن کامل

On the Computation and Properties of Real-time Interfaces for State-based Component Models

Event arrival curves [13] are an abstract way of characterizing event streams or arrival patterns as used in the context of real-time analysis of embedded systems. One may employ these abstract stream descriptions as part of analytic, assume/guarantee (A/G), real-time interfaces and thereby define the traffic a component is willing to accept, and what it guarantees to emit. This extended abstra...

متن کامل

A Comparison of Access Pattern (92-99)

Generating I/O traces is a hard task, but an extremely important one. It is the basis for many researches projects in regarding new and existing systems and algorithms. The more updated the traces one works with are, the more sound results are generated. In this work we compare the well known UNIX traces taken at HP labs by Ruemmler and Wilkes in 92 to a new version of these traces taken in 99....

متن کامل

Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions

The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of curves, called arrival curves, that express upper and lower bounds on the number of events that may arrive over any specified time interval. System properties may then be computed using algebraic techniques in a compositional w...

متن کامل

Property Inference from Program Executions

Software verification techniques require properties that define the intended behavior of a system be specified. Generating such properties is often very difficult and serves as an impediment to the adoption of verification techniques. Techniques that leverage program executions to infer these properties are a promising avenue for automatically generating these properties. In this paper, we prop...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006